975 research outputs found
WCET 2004 Catania, 29 June 2004
Satellite event to ECRTS'04, Catania, ItalySIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2004 n.1645 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
A real-time hw/sw co-design approach based on the SIGNAL language and its environment
Theme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1996 n.1053 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
k-set agreement with limited accuracy failure detectors
Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1999 n.1268 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
An augmented subspace conjugate gradient
Theme 4 - Simulation et optimisation de systemes complexes. Projet ALADINSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1997 n.1136 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
An adaptive RIO (A-RIO) queue management algorithm
Theme 1 - Reseaux et systemes - Projet ArmorSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2003 n.1526 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Compilation of a specialized functional language for massively parallel computers
Theme 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2000 n.1306 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Evaluating network vulnerability with the mincuts frequency vector
Theme 1 - Reseaux et systemes - Projet ModelSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1997 n.1089 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Some software tools to control the accuracy in scientific computing
Programme 6 - calcul scientifique, modelisation et logiciel numerique. Projet AladinSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1994 n.873 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
The mortality of a pair of 2x2 matrices is decidable
Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet APISIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1996 n.996 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
General linear methods for differential-algebraic equations for index one and two
Programme 6 - Calcul scientifique, modelisation et logiciel numerique. Projet AladinSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1993 n.711 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
- …